First-Order Glue
نویسنده
چکیده
Glue has evolved significantly during the past decade. Although the recent move to type-theoretic notation was a step in the right direction, basing the current Glue system on System F (second-order λ-calculus) was an unfortunate choice. An extension to two sorts and ad hoc restrictions were necessary to avoid inappropriate composition of meanings. As a result, the current system is unnecessarily complicated. A first-order Glue system is hereby proposed as its replacement. This new system is not only simpler and more elegant as it captures the exact requirements for Gluestyle compositionality without ad-hoc improvisations, but it also turns out to be more powerful than the current two-sorted (pseudo-) secondorder system. First-order Glue supports all existing Glue analyses as well as more elegant alternatives. It also supports new, more demanding analyses.
منابع مشابه
Presentation and Analysis of Methods for Increasing Glue Joint Strength in the Same Length Joint
Glue joints are more useful in Aerospace so in this article we presented new method for glue joint. In this method the maximum stresses that occurs at the edges of the bottom glue joint and cause ultimate failure in this type of connection is Decrease and increase the glue joint strength. In this method glue in the area overlapping the discrete and separate column considered Also, the connectio...
متن کاملWhy Glue a Donkey to an F-structure When You Can Constrain and Bind It Instead
The semantic treatment of anaphora using λ-DRT with Glue which I present combines the strengths of both by assigning to each the task where it arguably fares best: Glue composes meanings and DRT deals with anaphoric resolution. Key to this approach is a simple first-order system for λ-DRT that allows LFG syntactic constraints to be transferred into the dynamic representation language. This para...
متن کاملA Scaling-up Synthesis from Laboratory Scale to Pilot Scale and to near Commercial Scale for Paste-Glue Production
This paper concerns on developing a synthesis method of paste-glue production for gummed tape using a corn-based starch as an alternative feedstock from laboratory-scale to pilot-scale and to near commercial scale. Basically, two methods of synthesis were developed to produce paste-glue in laboratory scale. Based on the two methods, we then scale-up the earlier laboratory scale data to pilot-sc...
متن کاملEfficient Squares and Turing Universality at Temperature 1 with a Unique Negative Glue
Is Winfree’s abstract Tile Assembly Model (aTAM) “powerful?” Well, if certain tiles are required to “cooperate” in order to be able to bind to a growing tile assembly (a.k.a., temperature 2 self-assembly), then Turing universal computation and the efficient self-assembly of N ×N squares is achievable in the aTAM (Rotemund and Winfree, STOC 2000). So yes, in a computational sense, the aTAM is qu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Journal of Logic, Language and Information
دوره 17 شماره
صفحات -
تاریخ انتشار 2008